T. Kurahashi; "第2不完全性定理について"
http://www.math.mi.i.nagoya-u.ac.jp/~kihara/workshop/wakate/kurahashi.pdf
著者
倉橋 太志
.
数学基礎論若手の会2019
のスライド